[next] [prev] [prev-tail] [tail] [up]

2.2.4 Integrals 301 to 400

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.

Problem 301

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

203 203 55 437 0 16 0 0 -1

N.S.

1 1.00 0.27 2.15 0.00 0.08 0.00 0.00 -0.00

time (sec)

N/A 0.120 10.015 0.518 0.000 0.432 0.000 0.000 0.000

Problem 302

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

519 519 55 2860 0 24 0 0 -1

N.S.

1 1.00 0.11 5.51 0.00 0.05 0.00 0.00 -0.00

time (sec)

N/A 0.368 10.018 0.531 0.000 0.568 0.000 0.000 0.000

Problem 303

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 27 27 29 26 21 0 28 -1

N.S.

1 1.00 1.00 1.07 0.96 0.78 0.00 1.04 -0.04

time (sec)

N/A 0.027 0.007 0.453 0.292 2.712 0.000 0.502 0.000

Problem 304

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

235 235 57 1795 0 48 0 0 -1

N.S.

1 1.00 0.24 7.64 0.00 0.20 0.00 0.00 -0.00

time (sec)

N/A 0.158 10.016 0.515 0.000 0.384 0.000 0.000 0.000

Problem 305

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

555 555 57 3048 0 55 0 0 -1

N.S.

1 1.00 0.10 5.49 0.00 0.10 0.00 0.00 -0.00

time (sec)

N/A 0.427 10.023 0.612 0.000 0.504 0.000 0.000 0.000

Problem 306

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

56 56 35 37 38 31 0 43 -1

N.S.

1 1.00 0.62 0.66 0.68 0.55 0.00 0.77 -0.02

time (sec)

N/A 0.057 0.009 0.433 0.297 2.298 0.000 0.536 0.000

Problem 307

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A C C F C F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

265 265 57 2009 0 62 0 0 -1

N.S.

1 1.00 0.22 7.58 0.00 0.23 0.00 0.00 -0.00

time (sec)

N/A 0.207 10.016 0.496 0.000 0.356 0.000 0.000 0.000

Problem 308

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

28 28 28 29 28 26 19 30 25

N.S.

1 1.00 1.00 1.04 1.00 0.93 0.68 1.07 0.89

time (sec)

N/A 0.013 0.004 0.346 0.287 1.567 0.068 0.495 5.209

Problem 309

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

42 42 42 41 40 41 31 45 38

N.S.

1 1.00 1.00 0.98 0.95 0.98 0.74 1.07 0.90

time (sec)

N/A 0.014 0.004 0.356 0.288 2.154 0.079 0.473 5.724

Problem 310

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

112 112 104 120 0 171 0 106 -1

N.S.

1 1.00 0.93 1.07 0.00 1.53 0.00 0.95 -0.01

time (sec)

N/A 0.124 0.022 0.428 0.000 1.870 0.000 0.756 0.000

Problem 311

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

86 86 93 98 0 150 0 90 -1

N.S.

1 1.00 1.08 1.14 0.00 1.74 0.00 1.05 -0.01

time (sec)

N/A 0.086 0.018 0.377 0.000 1.867 0.000 0.666 0.000

Problem 312

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

56 56 73 78 0 122 0 71 -1

N.S.

1 1.00 1.30 1.39 0.00 2.18 0.00 1.27 -0.02

time (sec)

N/A 0.057 0.013 0.368 0.000 1.525 0.000 0.610 0.000

Problem 313

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B F A F A F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

32 32 57 56 0 74 0 49 -1

N.S.

1 1.00 1.78 1.75 0.00 2.31 0.00 1.53 -0.03

time (sec)

N/A 0.024 0.007 0.354 0.000 2.427 0.000 0.724 0.000

Problem 314

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 23 21 39 0 21 0 27 21

N.S.

1 1.00 0.91 1.70 0.00 0.91 0.00 1.17 0.91

time (sec)

N/A 0.004 0.005 0.356 0.000 1.979 0.000 0.630 5.140

Problem 315

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

52 52 31 48 0 29 0 53 42

N.S.

1 1.00 0.60 0.92 0.00 0.56 0.00 1.02 0.81

time (sec)

N/A 0.032 0.007 0.345 0.000 1.656 0.000 0.587 5.062

Problem 316

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

80 80 42 61 0 40 0 82 40

N.S.

1 1.00 0.52 0.76 0.00 0.50 0.00 1.02 0.50

time (sec)

N/A 0.064 0.008 0.362 0.000 1.968 0.000 0.896 5.140

Problem 317

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

108 108 53 72 0 51 0 111 92

N.S.

1 1.00 0.49 0.67 0.00 0.47 0.00 1.03 0.85

time (sec)

N/A 0.089 0.012 0.366 0.000 1.941 0.000 0.568 5.137

Problem 318

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

136 136 64 83 0 62 0 140 116

N.S.

1 1.00 0.47 0.61 0.00 0.46 0.00 1.03 0.85

time (sec)

N/A 0.118 0.086 0.486 0.000 3.319 0.000 0.613 5.145

Problem 319

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

26 26 26 23 22 28 22 32 22

N.S.

1 1.00 1.00 0.88 0.85 1.08 0.85 1.23 0.85

time (sec)

N/A 0.013 0.004 0.377 0.273 1.706 0.086 0.603 0.050

Problem 320

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 27 27 23 22 28 22 32 22

N.S.

1 1.00 1.00 0.85 0.81 1.04 0.81 1.19 0.81

time (sec)

N/A 0.014 0.004 0.376 0.286 1.906 0.090 0.577 5.209

Problem 321

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

8 8 14 9 14 8 5 15 8

N.S.

1 1.00 1.75 1.12 1.75 1.00 0.62 1.88 1.00

time (sec)

N/A 0.002 0.002 0.016 0.336 2.786 0.012 0.532 5.274

Problem 322

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

10 10 10 11 16 18 15 16 10

N.S.

1 1.00 1.00 1.10 1.60 1.80 1.50 1.60 1.00

time (sec)

N/A 0.002 0.002 0.014 0.287 2.226 0.015 0.531 0.032

Problem 323

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

12 12 12 11 16 26 27 16 26

N.S.

1 1.00 1.00 0.92 1.33 2.17 2.25 1.33 2.17

time (sec)

N/A 0.003 0.003 0.020 0.274 2.326 0.016 0.543 0.037

Problem 324

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

10 10 10 11 10 10 7 10 10

N.S.

1 1.00 1.00 1.10 1.00 1.00 0.70 1.00 1.00

time (sec)

N/A 0.001 0.001 0.375 0.298 1.547 0.010 0.473 0.027

Problem 325

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

20 20 20 19 21 22 32 0 19

N.S.

1 1.00 1.00 0.95 1.05 1.10 1.60 0.00 0.95

time (sec)

N/A 0.004 0.003 0.021 0.276 1.330 0.261 0.000 5.178

Problem 326

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

20 20 20 21 40 36 82 0 21

N.S.

1 1.00 1.00 1.05 2.00 1.80 4.10 0.00 1.05

time (sec)

N/A 0.006 0.002 0.025 0.280 2.180 0.384 0.000 5.135

Problem 327

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B B F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

20 20 20 21 53 52 119 0 21

N.S.

1 1.00 1.00 1.05 2.65 2.60 5.95 0.00 1.05

time (sec)

N/A 0.007 0.002 0.025 0.297 3.242 0.465 0.000 5.122

Problem 328

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

16 16 160 135 134 134 160 134 134

N.S.

1 1.00 10.00 8.44 8.38 8.38 10.00 8.38 8.38

time (sec)

N/A 0.003 0.004 0.359 0.281 2.571 0.033 0.477 5.157

Problem 329

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

16 16 160 135 134 134 160 134 134

N.S.

1 1.00 10.00 8.44 8.38 8.38 10.00 8.38 8.38

time (sec)

N/A 0.008 0.005 0.565 0.272 1.679 0.036 0.468 5.156

Problem 330

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

16 16 160 135 134 134 160 134 134

N.S.

1 1.00 10.00 8.44 8.38 8.38 10.00 8.38 8.38

time (sec)

N/A 0.008 0.006 1.053 0.276 2.253 0.039 0.467 5.153

Problem 331

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 27 193 339 275 231 0 285 287

N.S.

1 1.00 7.15 12.56 10.19 8.56 0.00 10.56 10.63

time (sec)

N/A 0.011 0.069 0.398 0.295 1.691 0.000 0.537 5.875

Problem 332

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

16 16 160 135 134 134 160 134 134

N.S.

1 1.00 10.00 8.44 8.38 8.38 10.00 8.38 8.38

time (sec)

N/A 0.003 0.003 0.343 0.280 2.033 0.032 0.478 0.002

Problem 333

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

16 16 160 135 134 134 160 134 134

N.S.

1 1.00 10.00 8.44 8.38 8.38 10.00 8.38 8.38

time (sec)

N/A 0.003 0.004 0.537 0.283 1.446 0.034 0.496 5.188

Problem 334

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

16 16 160 135 134 134 160 134 134

N.S.

1 1.00 10.00 8.44 8.38 8.38 10.00 8.38 8.38

time (sec)

N/A 0.003 0.005 1.076 0.292 1.593 0.036 0.461 5.158

Problem 335

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B F(-2) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 27 193 287 275 205 0 205 285

N.S.

1 1.00 7.15 10.63 10.19 7.59 0.00 7.59 10.56

time (sec)

N/A 0.006 0.045 0.359 0.291 1.923 0.000 0.483 5.950

Problem 336

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 27 88 126 121 93 178 93 124

N.S.

1 1.00 3.26 4.67 4.48 3.44 6.59 3.44 4.59

time (sec)

N/A 0.007 0.046 0.403 0.274 1.678 35.483 0.502 5.437

Problem 337

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B F(-2) F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

27 27 27 39 66 82 0 0 38

N.S.

1 1.00 1.00 1.44 2.44 3.04 0.00 0.00 1.41

time (sec)

N/A 0.010 0.051 0.438 0.296 1.885 0.000 0.000 5.211

Problem 338

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

15 15 15 14 13 13 10 14 13

N.S.

1 1.00 1.00 0.93 0.87 0.87 0.67 0.93 0.87

time (sec)

N/A 0.003 0.003 0.016 0.294 1.820 0.041 0.497 0.046

Problem 339

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

15 15 15 14 13 13 10 14 13

N.S.

1 1.00 1.00 0.93 0.87 0.87 0.67 0.93 0.87

time (sec)

N/A 0.004 0.003 0.019 0.283 1.723 0.051 0.490 5.124

Problem 340

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

15 15 15 14 13 13 10 14 13

N.S.

1 1.00 1.00 0.93 0.87 0.87 0.67 0.93 0.87

time (sec)

N/A 0.004 0.004 0.023 0.278 1.530 0.061 0.828 0.047

Problem 341

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

19 19 24 31 36 36 36 22 37

N.S.

1 1.00 1.26 1.63 1.89 1.89 1.89 1.16 1.95

time (sec)

N/A 0.004 0.007 0.036 0.280 1.947 0.132 0.613 0.042

Problem 342

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

19 19 24 31 36 36 36 22 37

N.S.

1 1.00 1.26 1.63 1.89 1.89 1.89 1.16 1.95

time (sec)

N/A 0.004 0.008 0.046 0.286 2.502 0.217 0.589 0.062

Problem 343

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A B B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

19 19 24 31 36 36 36 22 37

N.S.

1 1.00 1.26 1.63 1.89 1.89 1.89 1.16 1.95

time (sec)

N/A 0.004 0.009 0.065 0.290 1.391 0.315 0.656 5.184

Problem 344

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

24 24 24 23 22 25 19 22 22

N.S.

1 1.00 1.00 0.96 0.92 1.04 0.79 0.92 0.92

time (sec)

N/A 0.008 0.001 0.026 0.282 1.450 0.025 0.658 0.042

Problem 345

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

40 40 40 35 34 38 37 46 34

N.S.

1 1.00 1.00 0.88 0.85 0.95 0.92 1.15 0.85

time (sec)

N/A 0.018 0.005 0.075 0.278 1.557 0.049 0.689 0.037

Problem 346

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

50 50 50 45 44 48 49 45 47

N.S.

1 1.00 1.00 0.90 0.88 0.96 0.98 0.90 0.94

time (sec)

N/A 0.016 0.005 0.036 0.292 1.198 0.060 0.565 0.048

Problem 347

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A B A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

185 185 144 165 124 637 36 112 197

N.S.

1 1.00 0.78 0.89 0.67 3.44 0.19 0.61 1.06

time (sec)

N/A 0.247 0.086 0.069 0.514 4.333 0.827 0.555 5.914

Problem 348

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B F(-1) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

29 29 232 363 325 297 0 269 363

N.S.

1 1.00 8.00 12.52 11.21 10.24 0.00 9.28 12.52

time (sec)

N/A 0.013 0.108 0.635 0.292 2.241 0.000 1.059 6.777

Problem 349

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

16 16 160 15 14 134 160 14 14

N.S.

1 1.00 10.00 0.94 0.88 8.38 10.00 0.88 0.88

time (sec)

N/A 0.002 0.004 0.400 0.276 1.202 0.028 0.577 5.325

Problem 350

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

16 16 160 135 134 134 160 134 134

N.S.

1 1.00 10.00 8.44 8.38 8.38 10.00 8.38 8.38

time (sec)

N/A 0.007 0.005 0.545 0.278 1.466 0.036 0.588 0.002

Problem 351

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

16 16 160 135 134 134 160 134 134

N.S.

1 1.00 10.00 8.44 8.38 8.38 10.00 8.38 8.38

time (sec)

N/A 0.009 0.005 1.132 0.284 1.866 0.039 0.559 5.222

Problem 352

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

16 16 160 15 14 134 160 14 14

N.S.

1 1.00 10.00 0.94 0.88 8.38 10.00 0.88 0.88

time (sec)

N/A 0.002 0.003 0.532 0.293 1.623 0.030 0.577 5.202

Problem 353

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B B B B B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

16 16 160 135 134 134 160 134 134

N.S.

1 1.00 10.00 8.44 8.38 8.38 10.00 8.38 8.38

time (sec)

N/A 0.006 0.004 1.102 0.279 1.645 0.039 0.500 0.002

Problem 354

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B A A B B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

16 16 160 15 14 134 160 14 14

N.S.

1 1.00 10.00 0.94 0.88 8.38 10.00 0.88 0.88

time (sec)

N/A 0.002 0.004 1.072 0.285 1.641 0.031 0.540 5.177

Problem 355

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 23 23 35 37 27 48 0 26

N.S.

1 1.00 1.00 1.52 1.61 1.17 2.09 0.00 1.13

time (sec)

N/A 0.008 0.014 0.416 0.274 1.887 0.303 0.000 5.260

Problem 356

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A B F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

23 23 25 36 27 28 41 0 31

N.S.

1 1.00 1.09 1.57 1.17 1.22 1.78 0.00 1.35

time (sec)

N/A 0.009 0.026 0.411 0.280 2.110 0.630 0.000 5.227

Problem 357

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A B F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

15 15 18 37 19 28 39 0 34

N.S.

1 1.00 1.20 2.47 1.27 1.87 2.60 0.00 2.27

time (sec)

N/A 0.006 0.018 0.402 0.295 2.076 0.671 0.000 5.225

Problem 358

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

22 22 24 27 16 26 20 0 26

N.S.

1 1.00 1.09 1.23 0.73 1.18 0.91 0.00 1.18

time (sec)

N/A 0.008 0.022 0.539 0.282 2.281 0.507 0.000 5.231

Problem 359

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

15 15 18 30 11 26 20 0 28

N.S.

1 1.00 1.20 2.00 0.73 1.73 1.33 0.00 1.87

time (sec)

N/A 0.005 0.015 0.401 0.284 2.408 0.547 0.000 5.203

Problem 360

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

12 12 10 12 8 8 8 9 8

N.S.

1 1.00 0.83 1.00 0.67 0.67 0.67 0.75 0.67

time (sec)

N/A 0.003 0.008 0.358 0.273 1.399 0.049 0.555 0.096

Problem 361

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A B A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

14 14 25 116 17 8 22 18 8

N.S.

1 1.00 1.79 8.29 1.21 0.57 1.57 1.29 0.57

time (sec)

N/A 0.003 0.012 0.689 0.271 1.186 0.099 0.565 5.296

Problem 362

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

12 12 12 9 8 8 10 32 8

N.S.

1 1.00 1.00 0.75 0.67 0.67 0.83 2.67 0.67

time (sec)

N/A 0.003 0.011 0.349 0.504 2.001 0.069 0.606 0.094

Problem 363

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

24 24 24 28 31 24 31 0 26

N.S.

1 1.00 1.00 1.17 1.29 1.00 1.29 0.00 1.08

time (sec)

N/A 0.012 0.024 0.441 0.496 0.995 0.183 0.000 5.249

Problem 364

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

75 75 104 0 0 0 0 0 -1

N.S.

1 1.00 1.39 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.080 0.179 0.111 0.000 0.000 0.000 0.000 0.000

Problem 365

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

99 99 109 0 0 0 0 0 -1

N.S.

1 1.00 1.10 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.112 0.050 0.027 0.000 0.000 0.000 0.000 0.000

Problem 366

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

91 91 103 0 0 0 0 0 -1

N.S.

1 1.00 1.13 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.114 0.388 0.070 0.000 0.000 0.000 0.000 0.000

Problem 367

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

71 71 99 0 0 0 0 0 -1

N.S.

1 1.00 1.39 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.054 0.126 0.008 0.000 0.000 0.000 0.000 0.000

Problem 368

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

87 87 100 0 0 0 0 0 -1

N.S.

1 1.00 1.15 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.097 0.356 0.070 0.000 0.000 0.000 0.000 0.000

Problem 369

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

51 51 45 39 58 97 78 0 -1

N.S.

1 1.00 0.88 0.76 1.14 1.90 1.53 0.00 -0.02

time (sec)

N/A 0.020 0.035 0.653 0.496 1.742 0.771 0.000 0.000

Problem 370

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

84 84 84 0 0 0 0 0 -1

N.S.

1 1.00 1.00 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.119 0.078 0.083 0.000 0.000 0.000 0.000 0.000

Problem 371

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

61 61 77 0 0 0 0 0 97

N.S.

1 1.00 1.26 0.00 0.00 0.00 0.00 0.00 1.59

time (sec)

N/A 0.061 0.069 0.089 0.000 0.000 0.000 0.000 5.169

Problem 372

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

85 85 84 0 0 0 0 0 -1

N.S.

1 1.00 0.99 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.146 0.080 0.082 0.000 0.000 0.000 0.000 0.000

Problem 373

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

141 141 131 0 0 0 0 0 -1

N.S.

1 1.00 0.93 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.165 0.191 0.026 0.000 0.000 0.000 0.000 0.000

Problem 374

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

128 128 126 0 0 0 0 0 -1

N.S.

1 1.00 0.98 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.146 0.554 0.097 0.000 0.000 0.000 0.000 0.000

Problem 375

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

104 104 117 0 0 0 0 0 -1

N.S.

1 1.00 1.12 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.089 0.141 0.008 0.000 0.000 0.000 0.000 0.000

Problem 376

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

122 122 120 0 0 0 0 0 -1

N.S.

1 1.00 0.98 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.125 0.387 0.075 0.000 0.000 0.000 0.000 0.000

Problem 377

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

73 73 58 51 73 120 88 0 -1

N.S.

1 1.00 0.79 0.70 1.00 1.64 1.21 0.00 -0.01

time (sec)

N/A 0.027 0.053 0.649 0.490 2.806 1.571 0.000 0.000

Problem 378

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

117 117 97 0 0 0 0 0 -1

N.S.

1 1.00 0.83 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.198 0.087 0.069 0.000 0.000 0.000 0.000 0.000

Problem 379

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

98 98 94 0 0 0 0 0 -1

N.S.

1 1.00 0.96 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.214 0.087 0.073 0.000 0.000 0.000 0.000 0.000

Problem 380

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F(-1) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

122 122 100 0 0 0 0 0 -1

N.S.

1 1.00 0.82 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.415 0.100 0.077 0.000 0.000 0.000 0.000 0.000

Problem 381

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

100 100 96 0 0 0 0 0 -1

N.S.

1 1.00 0.96 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.338 0.092 0.091 0.000 0.000 0.000 0.000 0.000

Problem 382

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

51 51 58 47 0 93 0 67 67

N.S.

1 1.00 1.14 0.92 0.00 1.82 0.00 1.31 1.31

time (sec)

N/A 0.071 0.018 0.085 0.000 2.585 0.000 0.473 5.184

Problem 383

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A F B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

42 42 62 63 53 108 0 69 55

N.S.

1 1.00 1.48 1.50 1.26 2.57 0.00 1.64 1.31

time (sec)

N/A 0.017 0.037 0.049 0.499 1.241 0.000 0.562 5.574

Problem 384

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

51 51 66 55 0 104 0 71 63

N.S.

1 1.00 1.29 1.08 0.00 2.04 0.00 1.39 1.24

time (sec)

N/A 0.045 0.040 0.057 0.000 1.569 0.000 0.490 5.337

Problem 385

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

61 61 69 74 0 112 0 0 -1

N.S.

1 1.00 1.13 1.21 0.00 1.84 0.00 0.00 -0.02

time (sec)

N/A 0.060 0.013 0.879 0.000 1.680 0.000 0.000 0.000

Problem 386

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

53 53 66 55 0 98 0 61 67

N.S.

1 1.00 1.25 1.04 0.00 1.85 0.00 1.15 1.26

time (sec)

N/A 0.059 0.036 0.100 0.000 1.333 0.000 0.482 5.182

Problem 387

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A B A A F A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

43 43 68 81 34 118 0 63 54

N.S.

1 1.00 1.58 1.88 0.79 2.74 0.00 1.47 1.26

time (sec)

N/A 0.018 0.039 0.055 0.498 2.214 0.000 0.442 5.384

Problem 388

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F(-1) A B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

53 53 73 73 0 109 0 65 63

N.S.

1 1.00 1.38 1.38 0.00 2.06 0.00 1.23 1.19

time (sec)

N/A 0.051 0.045 0.095 0.000 1.830 0.000 0.454 5.354

Problem 389

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A F A F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

63 63 77 105 0 118 0 0 -1

N.S.

1 1.00 1.22 1.67 0.00 1.87 0.00 0.00 -0.02

time (sec)

N/A 0.062 0.048 0.740 0.000 2.322 0.000 0.000 0.000

Problem 390

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

62 62 98 0 0 0 0 0 -1

N.S.

1 1.00 1.58 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.078 0.134 0.118 0.000 0.000 0.000 0.000 0.000

Problem 391

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

53 53 89 0 0 0 0 0 -1

N.S.

1 1.00 1.68 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.068 0.304 0.079 0.000 0.000 0.000 0.000 0.000

Problem 392

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A B F F F(-2) F F B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

37 37 78 0 0 0 0 0 67

N.S.

1 1.00 2.11 0.00 0.00 0.00 0.00 0.00 1.81

time (sec)

N/A 0.010 0.064 0.076 0.000 0.000 0.000 0.000 5.387

Problem 393

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

51 51 87 0 0 0 0 0 -1

N.S.

1 1.00 1.71 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.062 0.191 0.076 0.000 0.000 0.000 0.000 0.000

Problem 394

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A A A A A F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

31 31 31 26 42 76 27 0 -1

N.S.

1 1.00 1.00 0.84 1.35 2.45 0.87 0.00 -0.03

time (sec)

N/A 0.014 0.031 0.690 0.520 1.441 0.564 0.000 0.000

Problem 395

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

54 54 68 0 0 0 0 0 -1

N.S.

1 1.00 1.26 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.080 0.059 0.082 0.000 0.000 0.000 0.000 0.000

Problem 396

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

40 40 66 0 0 0 0 0 -1

N.S.

1 1.00 1.65 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.050 0.060 0.079 0.000 0.000 0.000 0.000 0.000

Problem 397

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

54 54 68 0 0 0 0 0 -1

N.S.

1 1.00 1.26 0.00 0.00 0.00 0.00 0.00 -0.02

time (sec)

N/A 0.090 0.065 0.101 0.000 0.000 0.000 0.000 0.000

Problem 398

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

107 107 117 0 0 0 0 0 -1

N.S.

1 1.00 1.09 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.124 0.157 0.109 0.000 0.000 0.000 0.000 0.000

Problem 399

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F(-2) F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

94 94 109 0 0 0 0 0 -1

N.S.

1 1.00 1.16 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.109 1.640 0.078 0.000 0.000 0.000 0.000 0.000

Problem 400

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

A A A F F F(-2) F F F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD

size

72 72 91 0 0 0 0 0 -1

N.S.

1 1.00 1.26 0.00 0.00 0.00 0.00 0.00 -0.01

time (sec)

N/A 0.065 0.138 0.079 0.000 0.000 0.000 0.000 0.000

[next] [prev] [prev-tail] [front] [up]